max $partialdiff sub X$ [ Princeton tmax ]